Editorial for “Cytokine Methods”

islanding detection methods for microgrids

امروزه استفاده از منابع انرژی پراکنده کاربرد وسیعی یافته است . اگر چه این منابع بسیاری از مشکلات شبکه را حل می کنند اما زیاد شدن آنها مسائل فراوانی برای سیستم قدرت به همراه دارد . استفاده از میکروشبکه راه حلی است که علاوه بر استفاده از مزایای منابع انرژی پراکنده برخی از مشکلات ایجاد شده توسط آنها را نیز منتفی می کند . همچنین میکروشبکه ها کیفیت برق و قابلیت اطمینان تامین انرژی مشترکان را افزایش ...

Guest Editorial: Formal Methods

We’d better start by defining terms, since the phrase Formal Methods (FM) can have a wide range of connotations in Computer Science. For the purpose of this Special Theme Issue, ‘Formal Methods’ means the use of mathematical techniques for the construction of computing systems, with a particular focus on the construction of industrial scale systems. The focus on large systems is significant. Th...

Formal Methods Guest Editorial

This introductory paper gives some historical background to the emergence of formal methods, overviews what subsequently happened, and surveys prospects for the future. Brief introductions to the remaining papers in the Special Issue are given.

Editorial: problem-solving methods

Editorial for "non-coding RNA methods".

The bright future of (non-coding) RNAs: methods light the way The human genome project took 13 years and $1/base pair for a total of $3 billion to complete [1]. When the entire sequence became available a decade ago, the hope was that a complete understanding of how a human cell lives and dies would soon follow. Instead, we learned that the number of protein-coding genes is much smaller than pr...